记

则 , 于是

而 .

由 ,

即 , 于是 . 证毕.